" Stefan Leue" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Model Checking of Software, 9 conf

Автор: Dragan Bosnacki, Автор: Stefan Leue

Категория: CsLn_

Размер книги: 2.61 Mb

Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s

Автор: Dennis Dams, Автор: Robert Gerth, Автор: Stefan Leue, Автор: Mieke Massinek

Категория: CsLn_

Размер книги: 2.48 Mb

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Автор: Stefan Leue, Автор: Pedro Merino

Размер книги: 3.77 Mb

Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Автор: Stefan Leue, Автор: Tarja J. Systä

Размер книги: 4.29 Mb